大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Geodetic Deformation Monitoring: From Geophysical to Engineering Roles [electronic resource] : IAG Symposium Ja茅n, Spain March 17鈥Ṭ 2005

0
索取号：
作者：Sans貌、 Fernando.、Gil、 Antonio J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings

0
索取号：
作者：Calude、 Cristian S.、Dinneen、 Michael J.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Stepney、 Susan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

0
索取号：
作者：Iglesias、 Andr茅s.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29鈥揝eptember 2, 2006. Proceedings

0
索取号：
作者：Schmidt、 Renate A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Star谩 Lesn谩, Slovakia, August 28-September 1, 2006. Proceedings

0
索取号：
作者：Kr谩lovi膷、 Rastislav.、Urzyczyn、 Pawe艂.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

0
索取号：
作者：Yi、 Kwangkeun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Self-Organizing Systems [electronic resource] : First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings

0
索取号：
作者：Meer、 Hermann.、Sterbenz、 James P. G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

0
索取号：
作者：L枚we、 Welf.、S眉dholt、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Histone Code and Beyond [electronic resource] : New Approaches to Cancer Therapy

0
索取号：
作者：Berger、 S. L.、Nakanishi、 O.、Haendler、 B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Ball、 Thomas.、Jones、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Intelligence in Reliability Engineering [electronic resource] : New Metaheuristics, Neural and Fuzzy Techniques in Reliability

0
索取号：
作者：Levitin、 Gregory.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Intelligence in Reliability Engineering [electronic resource] : Evolutionary Techniques in Reliability Analysis and Optimization

0
索取号：
作者：Levitin、 Gregory.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

0
索取号：
作者：Misra、 Jayadev.、Nipkow、 Tobias.、Sekerinski、 Emil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

0
索取号：
作者：Mazzola、 Guerino.、Milmeister、 G茅rard.、Weissmann、 Jody.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Artificial Intelligence and Neural Networks [electronic resource] : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers

0
索取号：
作者：Savac谋、 F. Acar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院